cient Handling of Phase - type Distributions inGeneralized Stochastic Petri
نویسندگان
چکیده
We study the introduction of transitions with Phase-type distribution ring time in (bounded) generalized stochastic Petri nets. Such transitions produce large increases of both space and time complexity for the computation of the steady state probabilities of the underlying Markov chain. We propose a new approach to limit this phenomenon while keeping full stochastic semantics of previous works. The method is based on a structural decomposition of the net. We establish conditions under which this decomposition leads to a tensor expression of the generator of the chain. The tensor expression is used to solve the chain with an iterative method.
منابع مشابه
Analytical solution of non-Markovian Stochastic Petri nets
This paper presents an analytical approach for the analysis of non-Markovian stochastic Petri nets. The primary aim of the presented solution method is its universal applicability. Therefore, an approach based on discrete phase type distributions has been chosen to perform the necessary Markovization. For the handling of the resulting state space explosion problem, symbolic storage structures, ...
متن کاملEfficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets
We study the introduction of transitions with Phase-type distribution ring time in (bounded) generalized stochastic Petri nets. Such transitions produce large increases of both space and time complexity for the computation of the steady state probabilities of the underlying Markov chain. We propose a new approach to limit this phenomenon while keeping full stochastic semantics of previous works...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملStochastic Petri nets with matrix exponentially distributed firing times
There are widely used analysis techniques for stochastic Petri nets with phase type (PH) distributed firing times. These techniques are based on the generation of an expanded Markov chain that describes the behaviour of the marking process and additionally the phase processes of the involved PH distributions. In this paper we investigate the use of a similar approach when the firing time distri...
متن کاملStochastic Petri Nets with Low Variation Matrix Exponentially Distributed Firing Time
Abstract: Matrix exponential (ME) distributions with low squared coefficient of variation (scv) are such that the density function becomes zero at some points in ) (0,∞ . For such distributions there is no equivalent finite dimensional PH representation, which inhibits the application of existing methodologies for the numerical analysis of stochastic Petri nets (SPNs) with this kind of ME distr...
متن کامل